Algorithm engineering

Results: 1680



#Item
91Computer hardware / Computer data storage / Aegis Ballistic Missile Defense System / Missile Defense Agency / Naval Sea Systems Command / Aegis / Solid-state drive / Ship Self-Defense System / United States Navy

ENGINEER Technology Service Corporation (TSC), an Engineering Services Provider providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, Test & Evaluation, Element-Level and AEGIS Cer

Add to Reading List

Source URL: www.tsc.com

Language: English - Date: 2016-07-11 10:11:44
92Software engineering / Academia / Computing / THM / Edsger W. Dijkstra / Technische Hochschule MittelhessenUniversity of Applied Sciences / Algorithm / Technische Hochschule

DE GRUYTER OLDENBOURG it – Information Technology 2014; Galley Proof Self-Portrayals of GI Junior Fellows Dominik Schultes*

Add to Reading List

Source URL: junior-fellows.gi.de

Language: English - Date: 2016-04-04 11:41:13
93Machine learning / Learning / Support vector machines / Artificial intelligence / Sequential minimal optimization / Multiple kernel learning / NC / Kernel method / KarushKuhnTucker conditions

Multiple Kernel Learning, Conic Duality, and the SMO Algorithm Francis R. Bach & Gert R. G. Lanckriet {fbach,gert}@cs.berkeley.edu Department of Electrical Engineering and Computer Science, University of California, Ber

Add to Reading List

Source URL: eceweb.ucsd.edu

Language: English - Date: 2015-07-31 19:00:25
94Software engineering / Computer programming / Computing / Theoretical computer science / How to Design Programs / Recursion / Functional programming / Algorithm / Fortran

The Recurring Rainfall Problem Kathi Fisler WPI Dept of Computer Science

Add to Reading List

Source URL: web.cs.wpi.edu

Language: English - Date: 2014-06-13 07:01:12
95Computer programming / Software engineering / Theoretical computer science / Mathematics / B-tree / Mathematical logic / Linked list / Algorithm / Mathematical induction / Recursion / Trie

Project Report for P415/515 Specication and Verication of a File System: A Successful Failure

Add to Reading List

Source URL: michaeldadams.org

Language: English - Date: 2012-07-27 19:09:55
96Computing / Concurrency control / Software engineering / Computer programming / Synchronization / Linearizability / Mutual exclusion / Memory model / Non-blocking algorithm / Lock / Thread / Parallel computing

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2014-01-06 07:53:19
97Mathematical optimization / Applied mathematics / Mathematics / Numerical analysis / Multi-objective optimization / Pareto efficiency / Genetic algorithm / Multidisciplinary design optimization / Evolutionary algorithm / Algorithm / MOEA Framework / Monte Carlo tree search

Online and Offline Learning in Multi-Objective Monte Carlo Tree Search Diego Perez, Spyridon Samothrakis and Simon Lucas School of Computer Science and Electronic Engineering University of Essex, Colchester CO4 3SQ, UK d

Add to Reading List

Source URL: eldar.mathstat.uoguelph.ca

Language: English - Date: 2016-07-12 12:05:04
98Concurrency control / Computing / Computer programming / Software engineering / Lock / Linearizability / Resource Acquisition Is Initialization / Non-blocking algorithm / Thread / Mutual exclusion / Consistency model / Queue

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2014-01-06 07:53:19
99Error detection and correction / Data transmission / Computing / Information / Turbo code / Concatenated error correction code / Convolutional code / Serial concatenated convolutional codes / Modulation / BCJR algorithm / Continuous phase modulation / Forward error correction

THESIS FOR THE DEGREE OF LICENTIATE OF ENGINEERING Serially Concatenated Systems: An Iterative Decoding Approach with Application to Continuous Phase Modulation PÄR MOQVIST

Add to Reading List

Source URL: www.itr.unisa.edu.au

Language: English - Date: 2006-12-12 19:08:57
UPDATE